Level by Level Inequivalence , Strong Compactness , and GCH ∗ † Arthur

نویسنده

  • Arthur W. Apter
چکیده

We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tallness and level by level equivalence and inequivalence

We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness ...

متن کامل

On the consistency strength of level by level inequivalence

We show that the theories “ZFC + There is a supercompact cardinal” and “ZFC + There is a supercompact cardinal + Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.

متن کامل

Level by level inequivalence beyond measurability

We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide. Say that a model containing supercompact cardinals satisfies level by...

متن کامل

Singular Failures of GCH and Level by Level Equivalence ∗†

We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is an unbounded set of singular cardinals which witness the only failures of GCH in the universe. In this model, the structure of the class of supercompact cardinals can be arbitrary.

متن کامل

Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness containing failures of GCH at inaccessible cardinals. In one of these models, no cardinal is supercompact up to an inaccessible cardinal, and for every inaccessible cardinal δ, 2δ > δ++. In another of these models, no cardinal is supercompact up to an inaccessible cardinal, and the only inacce...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012